$\forall$$i$:Id, $a$:Atom1. $i$:Id$\parallel$$a$